# -*- mode: snippet -*-
# name: spec
# key: -sp
# --
-spec ${1:fun_name}(${2:Arg1} :: ${3:term}()) -> term().